prove that r is an equivalence relation on z: xry if x 3y is even